Meta-Logical Frameworks and Formal Digital Libraries ? Carsten Sch¨ urmann Department of Computer Science

Source URL: www.itu.dk

• Theoretical computer science
• Mathematical logic
• Logic in computer science
• Type theory
• Proof assistants
• Mathematics
• Automated theorem proving
• Isabelle
• Logical framework
• Twelf
• Formal methods
• Automated reasoning

Simplex with Sum of Infeasibilities for SMT Tim King⇤ ⇤ New Clark Barrett⇤

Source URL: www.cs.utexas.edu

• Operations research
• Logic in computer science
• Electronic design automation
• Formal methods
• NP-complete problems
• Satisfiability modulo theories
• Simplex algorithm
• Linear programming
• Simplex
• First-order logic

Rely-Guarantee References for Refinement Types Over Aliased Mutable Data (Extended Version ∗) Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,mernst,djg}@cs.washington.edu

Source URL: homes.cs.washington.edu

• Mathematical logic
• Logic
• Theoretical computer science
• Logic in computer science
• Semantics
• Heap
• Predicate
• Immutable object
• Separation logic
• First-order logic
• Control
• FO

Recursive Query Plans for Data Integration Oliver M. Duschka Michael R. Genesereth Department of Computer Science, Stanford University, Stanford, CA 94305, USA

Source URL: logic.stanford.edu

• Computing
• Data management
• Software engineering
• Database management systems
• SQL
• Recursion
• Conjunctive query
• Database theory
• Datalog
• Data integration
• Query optimization
• Join

Selmer Bringsjord Chair & Professor of Cognitive Science Professor of Computer Science Professor of Logic & Philosophy Professor of Management & Technology Director, Rensselaer AI & Reasoning Laboratory

Source URL: kryten.mm.rpi.edu

Abstract Path Planning for Multiple Robots: An Empirical Study Pavel Surynek Charles University in Prague Faculty of Mathematics and Physics Department of Theoretical Computer Science and Mathematical Logic Malostranské

Source URL: iti.mff.cuni.cz

An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting Mohammad Khodadadi, Renate A. Schmidt, and Dmitry Tishkovsky? School of Computer Science, The University of Manchester

Source URL: ceur-ws.org

Curriculum Vitae Ruzica Piskac address: The Department of Computer Science

Source URL: www.cs.yale.edu

• Logic in computer science
• Symposium on Principles of Programming Languages
• International Semantic Web Conference
• Separation logic
• Automated reasoning
• Computer Aided Verification
• Abstract interpretation
• Vasant Honavar
• Vienna Summer of Logic

Relational decomposition Lennart Beringer ?? Department of Computer Science, Princeton University, 35 Olden Street, Princeton NJ 08540

Source URL: www.cs.princeton.edu

• Model theory
• Mathematical logic
• Interpretation
• Philosophy of mind
• Semantics
• Relational algebra
• Structure
• operator
• Substitution

Turing machine based on unsharp quantum logic Yun Shang (Institute of Mathematics,

Source URL: qpl.science.ru.nl